Search Results
Ohad Kammar: An introduction to statistical modelling semantics with higher-order measure theory
Ohad Kammar - Statistical modelling with higher-order measure theory part II - SPLV 2022
Ohad Kammar. A ProbProg Language Taxonomy.
Semantic models for higher-order Bayesian inference - Sam Staton, University of Oxford
HOPE 2014: Graphical Algebraic Foundations for Monad Stacks - Ohad Kammar
Jonathan Warell - Modal and Statistical Semantics for AI and AGI | AGI Discussion - July 2, 2021
[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)
What does statistical semantics mean?
Fully abstract models for effectful λ-calculi via category-theoretic logical relations (Teaser)
A Domain Theory for Statistical Probabilistic Programming
A domain theory for statistical probabilistic programming
Dexter Kozen. Joint Distributions and Probabilistic Semantics. (Plenary Talk)
![[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)](https://img.youtube.com/vi/BNlfSrz3Yyo/hqdefault.jpg)
